def importe_function (t: i32) : i32 = t * 4
